10 research outputs found

    Coalgebraic Fuzzy geometric logic

    Full text link
    The paper aims to develop a framework for coalgebraic fuzzy geometric logic by adding modalities to the language of fuzzy geometric logic. Using the methods of coalgebra, the modal operators are introduced in the language of fuzzy geometric logic. To define the modal operators, we introduce a notion of fuzzy-open predicate lifting. Based on coalgebras for an endofunctor TT on the category Fuzzy-Top\textbf{Fuzzy-Top} of fuzzy topological spaces and fuzzy continuous maps, we build models for the coalgebraic fuzzy geometric logic. Bisimulations for the defined models are discussed in this work

    Rich Dynamics of a Predator-Prey System with Different Kinds of Functional Responses

    No full text
    In this study, we investigate a mathematical model that describes the interactive dynamics of a predator-prey system with different kinds of response function. The positivity, boundedness, and uniform persistence of the system are established. We investigate the biologically feasible singular points and their stability analysis. We perform a comparative study by considering different kinds of functional responses, which suggest that the dynamical behavior of the system remains unaltered, but the position of the bifurcation points altered. Our model system undergoes Hopf bifurcation with respect to the growth rate of the prey population, which indicates that a periodic solution occurs around a fixed point. Also, we observed that our predator-prey system experiences transcritical bifurcation for the prey population growth rate. By using normal form theory and center manifold theorem, we investigate the direction and stability of Hopf bifurcation. The biological implications of the analytical and numerical findings are also discussed in this study

    SAtellite-based Marine Process Understanding, Development, Research and Applications for Blue Economy (SAMUDRA): A Technology Demonstration Program in the Bay of Bengal

    No full text
    SAtellite-based Marine Process Understanding, Development, Research and Applications (SAMUDRA) for blue economy, a technology development program of the Space Applications Centre, is an umbrella program covering research and applications geared toward physical and biological oceanography making use of current and future satellite observations for developing the nation’s blue economy. The main motivation behind this project was to develop satellite and numerical model-based information and value-added products and to demonstrate the implementation of developed applications for operational requirements. The program also aimed at improving existing methodologies for various applications by utilizing space-based inputs. Several field campaigns with the use of NavIC-enabled instruments and NABHMITRA were conducted for measuring biophysical parameters and validation of developed applications in the coastal regions. One of the key aspects of this project was development of web-based customized tools/dissemination system for providing the information to the end users. Some of the key/notable achievements of SAMUDRA were development of a portal OceanEye (tailor-made web-portal for Shipping Corporation of India), storm-surge/inundation system, oil-spill trajectory modeling, level-next potential fishing zone algorithm and rip current alert system

    The past and future of sustainable concrete: A critical review and new strategies on cement-based materials

    No full text
    corecore